Vietnamese dictionaries for mobile phones

reduction system not found. Suggestions:

string reduction

reduction strategy

parallel reduction

Church-Rosser Theorem

delta reduction

Computational Adequacy Theorem